What if [ a ] really equals . ( a , [ ] ) ? Bart
نویسندگان
چکیده
The WAM traditionally optimizes for lists in two ways: by a list-specialized instruction set (LSIS) and by a list-specialized data representation (LSDR). These are partly orthogonal and their relative merit is unknown. In this paper, we perform an experiment within hProlog, which compares the schemas (LSIS+LSDR), (LSIS) and (). If no LSDR is used, it means that lists are treated as the syntactic sugar they stand for: terms with principal functor ./2. By not using LSDR, the implementation becomes more uniform and thereby invites more generally applicable optimizations. This leads to almost no performance loss, except in a couple of artificial benchmarks. Anyone attempting to just implement Prolog form scratch, should seriously consider not using LSDR. LSIS was found to be less effective than anticipated. What if [a] really equals .(a,[]) ? Bart Demoen ∗ Phuong-Lan Nguyen †
منابع مشابه
Does Management Really Matter? And If so, to Who?; Comment on “Management Matters: A Leverage Point for Health Systems Strengthening in Global Health”
The editorial is commendable and I agree with many of the points raised. Management is an important aspect of health system strengthening which is often overlooked. In order to build the capacity of management, we need to consider other factors such as, the environment within which managers work, their numbers, support systems and distribution. Effective leadership is an issue which cannot be o...
متن کاملTOTAL KNEE REPLACEMENT IN VARUS KNEE: WHAT MEASUREMENT REALLY MATTERS? INTRODUCING A NEW CLASSIFICATION SYSTEM
This was Presented in 5th International Congress of Iranian Iranian Society of Knee Surgery, Arthroscopy, and Sports Traumatology (ISKAST), 14-17 Feb 2018- Kish, Iran
متن کاملThirty Years of Literate Programming and More?
Don Knuth created Literate Programming about thirty years ago. It could be called a methodology, discipline, paradigm, . . . Bentley’s “Programming Pearls” article about Knuth’s book, TEX: The Program, caused a huge stir in the computing professions. Soon there was announcement of a Literate Programming section for the CACM . Several “Literate Programming systems” quickly appeared. This was fol...
متن کاملWhat Really Matters: Living Longer or Living Healthier; Comment on “Shanghai Rising: Health Improvements as Measured by Avoidable Mortality Since 2000”
The decline in Avoidable Mortality (AM) and increase in life expectancy in Shanghai is impressive. Gusmano and colleagues suggested that Shanghai’s improved health system has contributed significantly to this decline in AM. However, when compared to other global cities, Shanghai’s life expectancy at birth is improving as London and New York City, but has yet to surpass that of Hong Kong, Tokyo,...
متن کاملDeterminants of Subjective Well-Being; Do We Really Know What Makes People Happy? : A Study Among Rasht Dwellers as a Metropolis in North of Iran
Recently, along with traditional economic indicators, policymakers are increasingly dealing with subjective well-being (SWB) as an evaluation criterion of their performance and as an index for the population’s psychology health. This study tries to define different determinants of SWB with a focus on some specific aspects of the living area. Also, this article investigates outskirt-urban differ...
متن کامل